home *** CD-ROM | disk | FTP | other *** search
Text File | 1997-07-26 | 871 b | 43 lines | [TEXT/Moml] |
- (* helpsigsmake.mac *)
- (* 16Jul96 e *)
- (* 26Jul97 e -- 142 *)
-
- (* after running Parser.grm through mosmlyac
- and running mosml with the command line...
- :mosmllex.image :examples:helpsigs:Lexer.lex
- *)
-
- load "Path";
- load "Process";
-
- val home =
- case Process.getEnv "PATH_TRANSLATED" of
- SOME n => Path.dir n
- | NONE => ":"
- ;
-
- moolevel := 2;
-
- let val base = home
- in
- make "full" (base ^ "lib") [base ^ "src:compiler"]
- (base ^ "examples:helpsigs")
- end;
-
-
- let val base = home
- in
- chDir base;
- link "makebase.image"
- (true,true) (* -g -noheader *)
- (true,"") (* -autolink -P *)
- (base ^ "lib")
- [(base ^ "examples:helpsigs"),(base ^ "src:compiler")]
- ["makebase.uo"]
- end;
-
- (* now launch a copy of mosml with a command line, e.g.,:
-
- makebase.image :lib: helpsigs.val index.txt index.tex htmlsigs :htmlsigs:idIndex.html
-
- *)